Merge from gnulib.
authorPaul Eggert <eggert@cs.ucla.edu>
Wed, 5 Feb 2014 19:41:03 +0000 (11:41 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Wed, 5 Feb 2014 19:41:03 +0000 (11:41 -0800)
commit8be579a507d4d8e8fdd25092f5911b6e9136903a
tree09589df50bc052fc98febc24b98b15785317250a
parent55d5b3e35ac0de26fb09525e64d528db218f04e0
Merge from gnulib.

This incorporates:

2014-01-23 pthread: work around winpthread header pollution on mingw
* lib/time.in.h: Update from gnulib.

* doc/misc/texinfo.tex: Update from texinfo.
ChangeLog
doc/misc/ChangeLog
doc/misc/texinfo.tex
lib/time.in.h